#include<stdint.h>

#if defined LAC256
int NTT_1024(int32_t *a);
int INTT_1024(int32_t *a);
int poly_mul_ntt_1024(const uint16_t  *a, const uint16_t *s, uint16_t *b);

int poly_mul_ntt_Lazy_1024(const uint16_t  *a, const uint16_t *s, uint16_t *b);
#endif

void NormalMul_unsign_251(const uint16_t  *a, const uint16_t *s, uint16_t *b);
